Jackson Laboratory - PDFSEARCH.IO - Document Search Engine

Jackson Laboratory
Results: 103

#	Item
21	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
22	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
23	Proceedings of Workshop on Software in High-Energy Physics, pages 1-12, CERN, Geneva, 4-6 OctoberProgramming Michael Jackson Software Development Consultant 101 Hamilton Terrace Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-19 09:59:08 Procedural programming languages Holism Source code Subroutine University of Cambridge Computer Laboratory Fortran Parallel computing C Algorithm Computing Software engineering Computer programming
24	The Computer Revolution in Biomedical Science • Life-Saving Advances in Organ Transplantation • MRI: “X-Ray Vision” Without the X-Rays • Too Much Pressure: Relieving the Burden of Hypertension • Mass Spectrom Add to Reading List Source URL: www.cgl.ucsf.edu Language: English - Date: 2014-02-18 17:45:22 National Center for Research Resources Biomedical scientist Jackson Laboratory Charles Molnar Medical research National Institute of Mental Health Thomas Starzl Medicine National Institutes of Health Health
25	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
26	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Mathematics Rules of inference Propositional calculus Unsatisfiable core Resolution Conjunctive normal form SQL Automated theorem proving Logic Mathematical logic
27	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming
28	Radioactivity in Precipitation: Methods & Observations from Savannah River Site Dennis G. Jackson P.E. & Timothy Jannik – Savannah River National Laboratory Miranda LaBone – Clemson University Rebecca Scheffler– Un Add to Reading List Source URL: nadp.sws.uiuc.edu Language: English - Date: 2011-11-03 15:34:26 Radiochemistry Tritium Savannah River National Laboratory Savannah River Site Radionuclide SRS Chemistry Nuclear physics Physics
29	αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-06-06 14:09:52 Compiler construction Subroutines Alloy Z notation Ruby Monad Map Closure Static single assignment form Software engineering Computing Computer programming
30	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics